/*
 *	lib/cosstd.h, COS standard header file
 *
 *	created by ChenJie at 2007.10.13 
 *
 *	last modified at 2007.10.13
 *
 */

#ifndef COSSTD_H
#define COSSTD_H

#include <cos/ipc.h>
#include <cos/kernel.h>

// for all process:
extern int send(long dst_pid, struct msg_struct * msgp);
extern int receive(long src_pid, struct msg_struct * msgp);
extern int sendrec(long pid, struct msg_struct * msgp);
extern int notify(long dst_pid);

// only use by system process:
extern int halt(void);
extern int showclock(void);
extern int user_print(const char * str);

extern int printf(const char *fmt, ...);	// from lib/printk.c

#endif
